eventlist(${\it pred?}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if first($e$)$\rightarrow$ [$e$] else eventlist(${\it pred?}$;pred($e$)) @ [$e$] fi
\\[0ex]\emph{(recursive)}